smart contract auditing roadmap